-
1 язык предикатов
Русско-английский исловарь по машиностроению и автоматизации производства > язык предикатов
-
2 язык предикатов
Русско-английский словарь по вычислительной технике и программированию > язык предикатов
-
3 предикат
Синонимический ряд:сказуемого (сущ.) сказуемого -
4 язык предикатов
-
5 исчисление предикатов
Русско-английский новый политехнический словарь > исчисление предикатов
-
6 логика предикатов
Русско-английский словарь по информационным технологиям > логика предикатов
-
7 предикат
Русско-английский словарь по информационным технологиям > предикат
-
8 язык предикатов
Information technology: predicate language -
9 язык основанный на логике предикатов
Русско-английский большой базовый словарь > язык основанный на логике предикатов
-
10 язык исчисления предикатов
Русско-английский исловарь по машиностроению и автоматизации производства > язык исчисления предикатов
-
11 язык (программирования), основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык (программирования), основанный на логике предикатов
-
12 язык программирования , основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык программирования , основанный на логике предикатов
-
13 язык, основанный на логике предикатов
1) Automation: predicate logic language (как функций нескольких переменных)Универсальный русско-английский словарь > язык, основанный на логике предикатов
-
14 язык , основанный на логике предикатов
Information technology: (программирования) predicate logic language, (программирования) predicate logic-based languageУниверсальный русско-английский словарь > язык , основанный на логике предикатов
-
15 лежать в основе
•The basis for the antibacterial effects of dyes is their ability to...
•Behind the Mullard invention is the notion that...
•Central to the theory is...
•Movement of charged particles in a magnetic field also forms (or constitutes) the basis for mass spectrometry.
•These equations form the basis (or foundation) of the theory of...
•These theories form (or provide) the foundation for (or are at the basis of) colour television.
•It is this form that provides the basis (or is fundamental) for a wide variety of TV antennas.
•Let us consider the physical conditions that underlie the Sun's magnetism.
•Boolean algebra underlies the theory of relations.
•Microcomputers are at the heart of "transaction" telephones for checking customers' credit.
•The general rule that the forces between two particles result from an exchange of other particles is basic to much of our present understanding of elementary-particle interactions.
•This distinction between electricity and magnetism is at the heart (or root) of the theory of...
•The Periodic Table provides the framework for the whole study of inorganic chemistry.
•Thermochemistry is basic to the study of chemical bonding.
•An understanding of dye laser operation is a building block for understanding the principles of other tunable laser systems.
•These interrelations are the heart of hydrodynamics.
•The chapter describes the fundamental physics that gives rise to the behaviour of the single junction and the transistor as circuit elements.
•The nature of energy lies at the heart of the mystery of our existence.
•This reaction is the basis for the cyanamide process for...
* * *Лежать в основе -- to be at the heart of, to lie at the heart of; to be at the root of; to be at the basis of, to form the basis of, to form the basis for; to form the foundation for; to underlieInference is al the heart of both language understanding and language generation.An accurate determination of primary flowrate lies at the heart of any turbine acceptance test.It is this particular approach that forms the basis of the dynamic testing technique described in this paper.Suppose that a single predicate underlies part of the meaning of each of the following sentences. (... лежит в основе части значения...)Русско-английский научно-технический словарь переводчика > лежать в основе
-
16 язык исчисления предикатов
Automation: predicate calculus languageУниверсальный русско-английский словарь > язык исчисления предикатов
-
17 язык основанный на логике предикатов
Mechanics: predicate logic languageУниверсальный русско-английский словарь > язык основанный на логике предикатов
-
18 не так, как
Не так, как-- Of course, when describing a natural language system, a semantics for each predicate is not normally defined as above.Русско-английский научно-технический словарь переводчика > не так, как
-
19 узкий
1. hidebound2. too narrow3. restricted4. clean5. close-cut6. fine-bored7. narrow; tight8. narrow-mindedузкий, ограниченный — narrow-minded
9. parochial10. skimpyСинонимический ряд:1. недалекий (прил.) куцый; недалекий; ограниченный; односторонний; узколобый2. тесный (прил.) тесныйАнтонимический ряд:
См. также в других словарях:
Predicate transformer semantics — is an extension of Floyd Hoare Logic invented by Dijkstra and extended and refined by other researchers. It was first introduced in Dijkstra s paper Guarded commands, nondeterminacy and formal derivation of programs . It is a method for defining… … Wikipedia
Language Integrated Query — LINQ redirects here. For the card game, see Linq (card game). Language Integrated Query Influenced by SQL, Haskell Language Integrated Query (LINQ, pronounced link ) is a Microsoft .NET Framework component that adds native data querying… … Wikipedia
Language — This article is about the properties of language in general. For other uses, see Language (disambiguation). Cuneiform is one of the first known forms of written language, but spoken language is believed to predate writing by tens of thousands of… … Wikipedia
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
Language of thought — Jerry A. Fodor s Language of Thought (LOT) hypothesis states that cognition and cognitive processes are only remotely plausible when expressed as computational in terms of representational systems. He uses empirical data drawn from linguistics… … Wikipedia
Predicate (grammar) — In traditional grammar, a predicate is one of the two main parts of a sentence (the other being the subject, which the predicate modifies). In current linguistic semantics, a predicate is an expression that can be true of something. Thus, the… … Wikipedia
Language of thought hypothesis — In philosophy of mind, the language of thought hypothesis (LOTH) put forward by American philosopher Jerry Fodor describes thoughts as represented in a language (sometimes known as mentalese) that allows complex thoughts to be built up by… … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
language — In religion, issues of language and meaning are highly significant. A religion based on a text has to determine what the text means, and although this might have been clear to those who were present when the revelation of the Qur’an was given… … Islamic philosophy dictionary
Araki language — language name=Araki states=Vanuatu region=Araki island, Espiritu Santo speakers=8 familycolor=Austronesian fam2=Malayo Polynesian fam3=Central Eastern fam4=Eastern fam5=Oceanic fam6=Central Eastern fam7=Remote Oceanic fam8=North and Central… … Wikipedia
Cebuano language — language name = Cebuano nativename = Sinugboanon familycolor= Austronesian states = Philippines region = Central Visayas and most of Mindanao speakers = first language: 20 million (ethnologue) second language: 11 million (est.) rank = 47 fam2 =… … Wikipedia